$\forall$$x$, $y$:Atom1. $x$ =a1 $y$ $\Leftrightarrow$ $x$ $=$ $y$